Self-stabilizing Real-time Decision Systems
نویسنده
چکیده
We examine the task of constructing self-stabilizing real-time decision systems, which take their input from an external environment, and present a series of results concerning compilers which force the property of self-stabilization onto such systems. We consider compilers that do and do not preserve termination applied to nite state and innnite state programs.
منابع مشابه
A novel fuzzy multi-criteria decision-making methodology based upon the spherical fuzzy sets with a real case study
The choice of roll stabilization system is critical for many types of ships. For warships where operational activities are fast and the concept of time is very effective, determining the most appropriate of these systems is of particular importance. Some operations, such as the landing of the helicopter on board, are critical for naval ships. Unwanted rolling motion makes this difficult. In add...
متن کاملBounded-Response-Time Self-Stabilizing OPS5 Production Systems
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-stabilization are essential for rule-based programs that must be highly fault-tolerant and perform in a real-time environment. We present an approach for solving this problem using the OPS5 programming language as it is o...
متن کاملTime-Efficient Self-Stabilizing Algorithms through Hierarchical Structures
We present a method of combining a self-stabilizing algorithm with a hierarchical structure to construct a self-stabilizing algorithm with improved stabilization time complexity and fault-containment features. As a case study, a self-stabilizing spanning-tree algorithm is presented which in favorable settings has logarithmic stabilization time complexity.
متن کاملA DSS-Based Dynamic Programming for Finding Optimal Markets Using Neural Networks and Pricing
One of the substantial challenges in marketing efforts is determining optimal markets, specifically in market segmentation. The problem is more controversial in electronic commerce and electronic marketing. Consumer behaviour is influenced by different factors and thus varies in different time periods. These dynamic impacts lead to the uncertain behaviour of consumers and therefore harden the t...
متن کاملAutomated Analysis and Optimization of Distributed Self-Stabilizing Algorithms
Self-stabilization [14] is a versatile technique for recovery from erroneous behavior due to transient faults or wrong initialization. A system is self-stabilizing if (1) starting from an arbitrary initial state it can automatically reach a set of legitimate states in a finite number of steps and (2) it remains in legitimate states in the absence of faults. Weak-stabilization [25] and probabili...
متن کامل